Exploring Dialogue Games as Foundation of Fuzzy Logic
نویسنده
چکیده
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and alternatives to Robin Giles’s dialogue and betting game for Lukasiewicz logic are re-visited and put in the context of other foundational research in logic. It emerges that dialogue games cover a wide range of topics relevant to approximate reasoning.
منابع مشابه
Dialogues for proof search
Dialogue games are a two-player semantics for a variety of logics, including intuitionistic and classical logic. Dialogues can be viewed as a kind of analytic calculus not unlike tableaux. Can dialogue games be an effective foundation for proof search in intuitionistic logic (both first-order and propositional)? We announce Kuno, an automated theorem prover for intuitionistic first-order logic ...
متن کاملUniform Rules and Dialogue Games for Fuzzy Logics
We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, Gödel logic, and Product logic. Relational hypersequents generalize both hypersequents and sequents-of-relations. Such a framework can be interpreted via a particular class of dialogue games combined with bets, where the rules re...
متن کاملPlaying Lorenzen Dialogue Games on the Web
We announce an interactive website for exploring logic with the help of Lorenzen dialogue games. The site allows one to play dialogue games and computes winning plays and winning strategies from initial segments of such games. A variety of dialogue rule sets are available, allowing one to investigate different logics. We have also implemented several formula translations, so that one can learn ...
متن کاملParallel Dialogue Games and Hypersequents for Intermediate Logics
A parallel version of Lorenzen’s dialogue theoretic foundation for intuitionistic logic is shown to be adequate for a number of important intermediate logics. The soundness and completeness proofs proceed by relating hypersequent derivations to winning strategies for parallel dialogue games. This also provides a computational interpretation of hypersequents.
متن کاملFrom Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games
Building on a version of Lorenzen’s dialogue foundation for intuitionistic logic, we show that Gödel-Dummett logic G can be characterized by a suitable game of communicating parallel dialogues. This provides a computational interpretation of Avron’s hypersequent calculus for G.
متن کامل